perm filename CMTC10.300[CM,DEK] blob sn#794148 filedate 1985-05-21 generic text, type T, neo UTF8
{`dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'β(↔εRp→'#λ~π∧  DbA@↓`UλαT Uλ↓ %λ↓ %↓@ 5↓@ 5↓@ 5↓`$x↓@`4x↓@`4x↓@`4x↓@`4p↓A 4p↓A 4p↓A 4p¬SA4hεS 08↓S 08↓S 08↓RA_∧∩A_∧∩A_∧⊃(D⊂	∧c↓@β) x%∧	P_β@iP_∧iP_∧iP_∧iP_∧iP_β@iP_β↓	P`&C)P_βA	P_∧iP_∧↓	P_∧@iP_∧@iP_∧@iP_∧@iP_∧@iP_∧↓	P_βA	!λ%∧	 x"Qλ1λ	Fβ8αA∀x∧@@∀pεS P(α∪@@↓S0H↓R`0P↓R`4X↓R@4P↓R@4P↓R@4P↓R@4X↓R`4X↓B@4`↓B 4`α↓`4hαA 4p¬Sa∃λαQ(D 	Dc↓@β) x%∧	P_β↓)P_βA	P_∧↓	P_∧↓	P_∧@iP_∧A	P_¬iP_¬iP_¬iP_¬iP_¬iP_¬iP_¬iP_∧A	P_∧@iP_∧@iP_∧↓	P_βA	P_β↓)!%βi h"QλQ_
εβ	∩B$P	∪ 0H↓S 0H↓S 0H↓S 0H↓S 4h↓S 0(↓S 0(↓S!4h¬S!4h↓A 4h↓A 4h↓S 0P↓S 0P↓S 0P↓S 0P↓S 0P↓RB4P	RB4("⊃B1 ε↓_%∧i!_&@a _&@a _&@a _&@a _&@iP_&@`P_&@`P_&BiPX&BiP_α@iP_α@iP_&@iP_&@iP_&@i P%αI P"Qλq⊂
εβ8α↓∀x∧@∀pε∪ P α∪@8↓S0@↓R`0H↓R`4X↓R@4P↓R@4P↓R@4P↓R@00∧R`0(∧R`0(∧R`@@↓S08α∪@0α∪ P_αSADx¬T @⊂↓Q(D@	Eβ↓@α0@%α0@%α0@&@`p_&@`p_&@`p_&@`p_&@`p_&@`p_&@`p_&C)Ph&C)P_β@iP_β@iP_β@iP_β@iP_β@iP_β@iP_β@iP_β@iP_β@i @↓B	 @↓B	 @↓BλT $Cb!@↓tPπRAu↓T5↓T5↓T5↓T5↓T5↓T5↓T5↓T5↓T5↓RAtPπRAt("∩B↓_εPX'BipX*j@_*j@_*j@_*j@_*j@_*j@_*j@_*j@_%@@p_%↓`_%↓P %Bi@H'↓(T %DbA@p0β∩@p0β∩@p0β∪ ⊂PS ⊂HS ⊂@S ⊂8S ⊂8S ⊂0S ⊂(S ⊂ S ⊂(S ⊂_@ ∀h@@⊂_S ⊂λA ∀h↓↓@∀h↓↓`∀hB∀hB ∀hB ∀hB@∀hB@∀PβA@dPβA@dPβA@d("∪α1 εP%αI P&@iP_&@iP_&@iP_&@iP_&@iP_&@iP_&@iP_&@a _&@a _&@a _&@a _&@a _%∧i!_%∧hT &D"1@@Hα∩@@Hα∩@@Hα∪⊂λA`⊂λS⊂λA`⊂λS⊂λA`⊂λS⊂⊂A ⊂⊂S⊂⊂A ⊂⊂S⊂⊂A ⊂⊂S⊂⊂↓` ⊂S⊂_@`⊂_S⊂_@`⊂_S⊂_@`⊂_S⊂ @ ⊂ S⊂ @ ⊂ S⊂ @ ⊂ S⊂(A ∀`B`∀`B`∀`B`∀`B`∀`B`∀PαA`TPαA`TPαA`T("∪B⊃_ε(αAi (αAi 0α↓iPλ@ pλ&@ ⊂λβ@)Pλ@@`λ&@  λβ)Pλ↓ `λ&@ 0λα@)Pλ↓@ Pλ&@ 0λα@)Pλα @λ&@ @λα)Pλα @λ&@ Pλ↓@)Pλα@ 0λ&@ Pλ↓@)Pλβ  λ&@ `λ↓)Pλβ@⊂λ&@ pλ@)Pλβ@ ⊂λ%↓`@_%↓`P⊂%↓`P⊂"Q	qλ	Fβ ∧S↓TXπR`@8α∩`0H↓R@@Hα∩@0X↓R@0X↓R@0X↓R@0X↓R@0X↓R@0X↓R@0X↓R@0X↓R@0X↓R@0X↓R@0X↓R@0X↓R@0X↓R@@Hα∩`0H↓R`@8α∩at`εSA∀("∀α!_εh%βi!&@`p &@a_&@a⊂_&@a⊂_&@a⊂_&@a⊂_&@a⊂_&@a_&@`p &C)P`&BIP_&@iP_&@iP_&@iP_%α) H%α(T (D"1p↓↓∀`εRatXα↓`DX↓B 4Pαα DP↓B`4P↓B`4P↓B`4P↓B`4P↓B`4P↓B`4P↓B`4P↓B`4P↓B`4P↓B`4P↓B`4P↓B`4P↓A 0_↓R@@(↓@DX↓A 0λ↓R`@(β∩at`εSA%0↓∃@58↓∃`5@↓⊗4("∀BA(εX%β) p&@`P &@``_&@`p_&@`p_&@`p_&@`p_&@``_&@`P &BiPP&BiP_α@iP_βiP_βiP_βiP_βiP_βiP_βiP_β` _%α 0@%α @0%α P "Q
1λ	Fβ β↓ ∀`¬`∀Xε $X↓A@dP↓B DP↓B@4P↓B@4P↓R@DXαSth∧Sa∃⊂βU@E8↓V5@↓R@0X↓R@@P↓R@PH↓∩@`8↓R@ λε∩@⊂_¬∩@⊂(β⊃(E 	Eβ↓@∧i!_%∧i _α@`P_%`P_α@i _α@`P_%`P_α@j _)j _)j _)j _)j _)j _)j _)j _'αi`X'αhT *E"Q@↓⊂_∧RA⊂_∧RA⊂_∧S 0H↓S 0H↓S 0H↓S 0H↓S 0H↓S 0H↓S 0H↓S 0H↓S 0H↓S 0H↓S 0H↓S 0H↓S 0H↓S 0H↓S 0H↓S 0H↓S @8α∪@08↓S@@(α∪a5∧T@T("∃B1 ε8αAi 8αAi 8αAiP_β@iP_β@iP_β@iP_β@i`_α@i`_α@i`_α@i`_α@ip⊂α@Ip_↓@ip_↓@ip_↓@ip_↓@j⊂↓@J_@j_@j_@j⊂⊂@J⊂⊂@J⊂((A* _"Q
q(
FβαB`TPαB`TPαB`T`C`∀hC ∀hC ∀hC ∀hC ∀hC ∀hC ∀hA@⊂0S@⊂ @ ⊂ S@⊂ @ ⊂ S@⊂ @ ⊂ S@⊂ @ ⊂ S@⊂_@`⊂_S@⊂_@`⊂_S@⊂_@`⊂_S`⊂⊂@`⊂⊂S`⊂λA ⊂λS`⊂λA ⊂λS`⊂λA ⊂λS`⊂λA ⊂λS` 8↓∪` 8↓⊃(E@	Eβ↓@α08%α08%α08'`@ '`@_'@`  '@` _(↓j0(A*⊂ )j⊂ (A*⊂((`⊂_(`⊂_'@`0_'@`0_'`@ '`P_&@`` %α0@%α0@%α0@"Q⊃(
Fβ∧↓!∧P∧↓!∧P∧↓!∧hα↓`Dp↓A`4pα↓ Dx↓A 4xα`E↓@`5↓@`5λ↓@ 5λ↓@ 5⊂αT@U_↓T`5_↓T`5_↓T`5_↓T`5∧T↓∃∧Q(EPλDc↓@∧)!λ%∧) _¬i _∧A	 _∧@i _∧j@ *j0_)↓
⊂ (@j 'A	p_'iP β@iP_∧i@_∧@i0 ∧@i0_¬i!λ%∧)!λ"Q↓_
εβ	RB4P	S 0P↓S 0P↓S 0P↓S 0P↓S 4h↓S 4h↓S 4h↓S 4h↓S 4h↓S 4h↓S 4h↓S 4P¬∩A$P¬⊃(@λ	Eβ↓@βA*⊂((A*_@j_@j_@j⊂↓@Ip_↓@ip_↓@ip_↓@i`_α@i`_α@i`_α@iP αA	P_β@iP_β@i@ βA	@_∧@i@_∧@i@_∧@i0_¬@i0_¬@i1λ%∧i!_"Q!λ	Fβ ∧S↓TXπR`@8α∩`0H↓R@@Hα∩@0X↓R@0X↓R@0X↓R@0X↓R@0_α@`4P↓@`P_↓R@0_α@`4P↓@`P_↓R@0_α@`4P↓B`4P↓B`4P↓B`4P↓B`4Pαα DX↓B 4Xα↓`DXπS↓Tp∧Q(@_	Eβ↓@βA*⊂((A*⊂⊂@J⊂⊂@J_@j_@j_@j⊂↓@Ip_↓@ip_↓@ip_↓@ip_↓@i`_α@i`_α@i`_α@i`_α@i`_α@iP_β@iP_β@iP_β@iP_β@i @↓B	 @↓B	 @↓BλT α∧bA@"∀XλRb∀X↓B`4X↓B`48α↓0(↓SA4p¬SA4p↓A 48β0h↓R@0h↓RB4P	RB4("↓"1 ε↓_%∧i!_&@`p_&@`p_&@`p_&@`p_&@`p_&@`p_&@`p_&@`p_&@`p_&@`p_&@`p_&@`p_&@`p_&@`p_&@`p_&@`p_&@`p_&@`p_&@`p_%α0@%α0@%α0@"Qaλ	FβλRB∀PλR`0P↓R`0P↓S0H↓S 0@↓S 4p↓S@Dx↓T5α∀4xα∪`4pα∪@4hα↓`4h↓B4`↓B 4`↓B 4Xλ∩b∧PλQ(@8λDc↓@↓↓ 0(%A`⊂8%↓ ⊂@@  %`0⊂@@0_%`@_αj⊂_(@j⊂_(@j⊂_(@j⊂_(@j⊂_(@j⊂_(@j⊂_(@j⊂_(@j⊂_'α)`H'α(T ∧∧"1@↓↓∀p∧SA∃αSA∀h¬S@λ↓@ DXα@0⊂α∩`0_↓@`4Pα`0_α∩@0 ↓A4P↓A0 ↓R@0 ↓A4P↓A0 ↓R@0 ↓A4Pα`0_α∩`0_↓@`4Xα@0⊂α∪@λ↓@ Dh¬SA∃αSA∀p∧SA∀("α"⊃_ε@H'α)`H%`@_αi  ↓@`0 %↓0_↓A	0_↓@`0_%@`0_↓@i0_↓@`0_%@`0_↓@i0_↓@`0_%@`0_↓@i0_↓@`0_%@`0_↓@i@⊂↓@`0⊂&@0_↓@I@_↓` _&@@ _↓IP_@`⊂_'α)p8(@i`H'α)`H"Q↓!_
εβ8αSa∀p¬S @(α∪0H↓S0H↓R`0X↓R`0X↓R`0X↓R`0X↓R`0X↓R`0X↓S0H↓S0H↓S0H↓S 08↓S 08↓S 08↓S@0(↓S@0(↓R@⊂_↓A 0_R@⊂ ↓@`0 RA_∧∩A_∧∩A_∧⊃(CλDc↓@β↓)`H&Bi@ αA	@_β@i0_∧@i0_∧@i0_∧@i _¬@i _¬@i _¬@i _¬@i _¬@i _¬@i _¬@i _¬@i  ∧A	0_∧@i0 βA	0 βA	@ αA	@(↓A)PX'α*("Qε⊂p	εβ@T %λ↓∀4pαRA∀P∧R@@⊂↓T5↓T5↓T5↓T5↓T5↓T5↓T5↓RaTXεRaT("B⊃_εP8&Bi@h%@`p(%a _%↓↓ _%↓↓ _%@A0_,k_+@jp_+jP_*j  (@j_'@i`_&a⊂_%@a _%∧)!λ%∧(T →D"1@↓ th¬S↓TXα↓@TXαα4Xαα4`↓α 58↓U@5 αSa∀x∧∪a∃(α∃`5@↓V4X↓α`4Pαα@4Pαα@4Pαα 4PαA@TXπ∪↓Dp∧⊃(C 	Eβ↓@∧A
0⊂@* ⊂↓*⊂_↓*⊂⊂↓@*_↓@*⊂α)p_α)p⊂α@)`⊂β)P_β)P⊂β@)@_β@)@⊂∧)0⊂∧@)0⊂∧@)!_%∧i!_+*`λ+* H)α* H"QεQλ	Fβ⊂εS4`↓S4`↓S4`↓S4`↓S4`¬∪↓D`εU@E8↓V5@↓R` X↓R@@P↓R@@P↓∩@0P↓R`@0α∪↓Dh¬∪`d("
B⊃_εp8'BI``&A P_&↓` &`p %@a⊂⊂%@i  ↓AI _BI x%↓`P %↓!_%↓↓ _%↓↓ _%a0_%a0_%↓↓ _%@a _%@a⊂_&`p &↓P &Bi`H(↓(T ≠D"1H@4PλRB∀PλR@0P↓R@0H↓U 5 α∃5_↓T@E⊂↓T Eλ↓T 5↓T5↓T4x↓S`4x↓S`4x↓S`5Q(C@λDc↓@β↓IPX&β)0(αA)  ∧@i _¬@i _¬@i _¬@i  ∧A	0(αA)@h'B	PX&↓ P_%A↓_%↓↓ ⊂%a0_%a0_%a0_%↓↓ _%A↓_%A@P &β)PX(↓HT ≤D"1@↓@Tp∧S!4`αADXα↓`4X↓B 4P↓B@4P↓B@DP↓B`4P↓B`4P↓B@DP↓B@DX↓BTXα↓ t`πS! λ↓S@`_α∃`4`↓α 4Xα↓`4Xα↓@DX↓A TXε∪↓$hβQ(B λDcq`β@j⊂_(@j⊂_'AiPX&β)0(@`⊂(%↓0_↓A	 _α`@_%`@_↓A	 _α`0 %↓0_αI0(@i@@&B)pH(B
⊂_↓↓
⊂_↓@i0⊂α`@_%↓0_αi  ↓@`@_%`@_αi0_↓@`0_%A ⊂_A)@h&Bip8(@j⊂_(@hT ∪∧bA@↓@4xαS`Tx@`∀x@`∀x@`∀x@`∀x@@ ⊂βS`⊂λ↓@@txα`txα↓ ∀pα↓@∀hα↓@∀`αA@∀Xα@⊂ ↓∩`0_A∀P↓A ⊂_R@0(@@$P↓A@⊂λR@00↓R@00↓↓@∀X↓A@(Ra⊂λβSp_αS P(↓Q(CxπDC↓@α↓i@X%C) (β↓	  ∧i  ∧i0⊂βA*0()↓*⊂ (@j_(j_(j_#A `⊂'A	p (HT πCb!@πA@$xα∪`E↓⊃`P0↓T5↓S`Dxα∪@DhαSTXαR@P8↓∩@0@α∩@0@α∩@@0αRaT`¬S@t("π"1 ε@x'βi`x'@  λ∧@* λ∧@* λ∧@)`λ↓@!⊂λ' 0λ' 0λ' 0λ' 0λ' 0P)αIPλααIPλα)P0&AIP0∧@)Pλα!⊂λ)!⊂λ)!⊂λ& Pλ∧@)  ↓C	  ↓C	  ↓CλT ∂∧bA@B∀X	∩b$P↓A@ 8R@ @A`∀P↓α⊂8R@⊂HA`∀PB ∀PB ∀PB ∀PB ∀PB!∧PB!∧PB!∧PB ∀PB ∀PB ∀PB ⊂8R@⊂HA`∀P↓α⊂8R@ @A`∀P↓A@ 8Rb$X	∪α∀("πb⊃_∂G↓@⊂+jP *@i`P&β)0x%@@p_@I0λβA λ%@p_↓@I λ∧`@λ% p α) λβ@`Pλ% p_α@) λβ↓Pλ% `_β) λβ``λ% P β) λα@`pλ% P_β@) λα↓pλ% @_∧) λαaλ%@  β@I0λ↓aλ%@@⊂_β@I0x&β)PP&↓	@_'(T ⊂A↓Q@ $Pα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DX↓⊃`Pλ↓∩@DPα∩`$("β@@hβ`⊂⊂%↓	  %@Hp(@I  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	0⊂"Q∧1_
εβ0↓A5↓A5↓A5↓A5↓A5↓A4P	RB4P	S`0 ↓S`0 ↓S`0 ↓S@0 ↓S@0 ↓S@0 ↓S@0 ↓RB4P	RB4h↓A4h↓A4h↓A4h↓A4h↓A4h↓A4("	"1 ∂G _¬I0(∧i0(∧i ⊂↓@@`_% Pλβi λα@ P_% Pλα@i λα@ P_%@0⊂αi0(α@i0(αi@_α@j0_)@j0_)j _(@j⊂_(@j_(`P_'@`P('@`P('`P⊂↓@I`_α@ Pλ'`Pλα@)P_β Pλ&@``⊂↓@I@_∧↓)@_∧↓)P⊂∧@hT ∪AA``@4XαR`T`α∪ 4h↓S 4h↓S4Xα∩@DP↓R`∀("
↓1λ⊂π↓_(↓	p_'iP_&@i@_&i0_%@i0_%i _%i _%i _%i _%i _%i0_%@i0_&i@_&@iP_'ip_(↓
 _"Q¬⊂XπHβ@↓R`Dh↓S@4x↓S`5↓T5λ↓T 5λ↓T@5⊂↓T@5⊂↓T@5⊂↓T@5⊂↓T@5⊂↓T@5λ↓T 5λ↓T5↓S`4x↓S@4h↓R`DP↓Q(BPλDb⊃(β@j⊂_(@j⊂_%`@_αi  ↓@`0 %↓@⊂_AI@h'α)`H&β) 0@`⊂0%↓0_↓A	 _α`@_(@j⊂_(@j⊂_"Q¬1λ	Dα@8↓T 5λ↓T 5λ↓T 5λ↓RB∀PλRB∃λ↓T 5λ↓T 5λ↓T 5⊂↓⊃(B`βCA  ↓i0(%AI00&↓)`_'IP_%A	0_&(T ↔↓!P α 4PαR@TPαR`4("b⊃_∂G↓p⊂,k_+@jp_+j`_*@jP_*j@_)@j0_)j _(@j⊂_(j_'@ip_'i`_&@iP_&i@_%@i0_%i _%HT ≥↓!Qλλ@ 4PαR@TPαR`48∧ 4PαR@TPαR`4("∞``hD  _%A)0(%A)@_#B _%A)0(%A)@ &@i@ &i0 %@i@λ"QπQλ	BB⊂λRB∀PλQ`PλRB∀PλQ(D	¬β↓@βAIpP'β	P β↓	@_β`⊂⊂&@`(@)0⊂βα)0λβ@P_%@`λβ@I λβ@p⊂% `λ∧@) λβ!⊂λ% `λ∧@) λβ!⊂λ% `λ∧@) λβ@p⊂%@`λβ@)0λβ@P⊂%@@`8&@`(&``_&Ap 'β)pX(AhT -BB1x∞↓$P¬∩A$P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P¬∩A$P¬⊃(Eh¬ββq`αI P%αJ⊂_(@j⊂_(@j⊂_(@j⊂_(@j⊂_(@j⊂_(@j⊂_(@j⊂_(@j⊂_(@j⊂_(@j⊂_(@j⊂_(@j⊂_(@i P%αI P"Q0πββ0 S 4`α∩`DX↓R@4P↓R@4P↓R@DPαR`D`↓⊃(A⊂∧β A@@I (%AiP('@HT 	Bα ↓ $hαR@tPαR`$("¬↓1α¬`⊂β@I (A) X&↓ipλ"QαPx	↓#↓B 4Pα↓`DXα↓ D`¬S!∀xαQ(A0πD@!0βi x%βhT Aa`  TPβR@ _↓∩@tXαQ(A@¬D!⊂αi`('↓J⊂ )j _(↓) P%α) 0"Q`hλA#0S@T`∧R`PλαR`0(↓Q(GpεD a@α@@@λ'`  &A⊂ &α)0 A	  ↓i0λαHT ?Bb_@  (↓∩@@_α∩@@_α∩` (↓⊃(BhλD` h∧)!λ%∧(T εβb!@↓`∃↓T5↓T5↓T5↓T5↓T5↓T5↓T5↓T4P↓@`0_↓R@Pλ↓@ TPπS↓4pβS`U↓T ∀("αaq⊂εpλ(ip('↓i@X%βi (@`⊂(%`0_↓@j_(j_(j_(j_(j_(j_(j_(j_(j⊂λ"QπAλ	Eα`p↓U`E(αUU⊂αT TxαS@T`αR@dPα∩@d`αS@TxαT U⊂αUU(αU`E@↓Q(CpλDbA0i  %A)@('↓)p((A* (*↓*P0+A
P0*↓* ((A)p('↓)@(%A)  %hT_¬x␈␈␈␈x⊂↓_␈␈␈␈`␈␈␈␈p∧)!λ%∧(T .∧"1x∞$P↓R@4X↓R`4`↓S4h↓S 4p↓S@4x↓S`5↓T5λ↓T 5⊂↓T@5_↓T`5 ↓U5(↓U 50↓U@58↓U`5@↓V5H↓⊃(G`↓Cβq`i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _"Q∂1λ	Gc@PβTA∃λ¬∀ 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T4P∧∩@tPβ∩A¬↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T!%⊂∧Ut("∨"⊃_∂G8%α) P(@j⊂_(@j⊂_(@j⊂_(@j⊂_(@j⊂_)j0@*↓jP0)B
 _(@j⊂_(@j⊂_(@j⊂_(@j⊂_(@j⊂_%αI H%↓hT ⊃β"⊂P@  8↓∩@@(α∩@@(α∩@@(α∩@@(α∩@@(α∩@@(α∩@@(α∩@@(α∩@@(α∩` 8↓⊃(@hαC!!H@i (%↓) (%↓) (%↓) (%@i0_%@hT ⊂∧"0x∧@ h↓∩@ h↓∩@ h↓∩@ h↓∩@ h↓∩@ h↓∩@ h↓∩@ h↓∩@ h↓∩@ h↓∩@ h↓∩@ h↓∩@ h↓∩@ h↓∩B∀PλQ(Fλ	Eα1_∧j⊂((A*⊂((`⊂_(`⊂_(`⊂_'@`0_'@`0_'@`0_'@`0_'`P_'`P_'αiPh&C)P_β@i 8αAi 8αAi 8αAhT 1∧"1_	@↓DPπ∩At`↓A`D`↓B4`↓B4`↓A`D`εS↓4`εS08α∪0@↓S0H↓S0H↓S0H↓S0H↓S0@↓RB∧PπRAT("_b⊃_	D``0↓@I`P@IPp&↓@@(%A p %A↓⊂_%↓↓ _%↓	 _%i _%i  %↓↓ _%A↓⊂_%A p &↓@@ &C	`P(↓HT 2∧B1_	@↓DPπ∩At`↓A`D`↓B4`↓B 4`↓B 4`↓B@4`↓B@4`↓B@4`↓B@4`↓B@4`↓B@4`↓B 4`↓B 4`↓B4`↓A`DPπRAdPε⊃(F(	¬α1_∧)!λ%∧)@_∧@i@_∧@i@_∧@i@_α@i@_α@i@X&αi@X&`P_&`P_&i@_¬i@_¬i@_¬i!⊂%∧I!⊂"Qa⊂
∧b0	∩B$P	∪0P↓S0P↓S0P↓S0(↓S0(↓S↓4`¬S↓4`↓A 4`↓A 4`↓S4`↓S4P∧∩A∧P∧⊃(F8	¬α1_β↓ 0⊂'α ⊂⊂&C)@(α↓)0(β↓	0 ∧i  ∧@i  %i _%i _βα)  αB)  αB)0 βA	0(β↓	@(α↓)Ph'β
(↓hT 4∧"1_	@p_βR@p_βR@p_βS08↓S08↓S08↓S08↓S08↓S↓T`εS↓T`↓A`4`↓A`4`↓A`4`↓A`4`↓A`4`↓A`4Pβ@`tPβ@`tPβ@`t("~!Qλ	D`h%β) h'@ip_'@ip_'@ip_'@ip_'@ip_'@ip_'@ip_%β) h%β(T 5βb!_	AA∃∧T↓∃ ↓U5 ↓U5 ↓U5 ↓U5 ↓U5 ↓U4X↓↓`4Pα↓ DPεRAD`∧⊃(FX	¬α1_↓@`(%↓@`(%↓@`(&@p_&@`_&@P_&@@_&@0_&@  &@⊂(&↓ ⊂_&↓0_&`P⊂&@p⊂&@p_&A⊂&A⊂⊂%↓@p(%↓@p(%↓@p("Q
A⊂
∧b0∧∩A∧P∧∪4`↓S4`↓S4`↓S4`↓S4`↓S4`↓B@4`↓B@4`↓B@4P	∩B$P	⊃(Fh	Eα1_↓!⊂(%↓@p0%↓@p0&↓p &@⊂⊂α@@⊂⊂&@⊂⊂α@@⊂⊂&@ ⊂↓@@ ⊂&@ ⊂↓@@ ⊂&@ ⊂↓@@ ⊂&@0⊂@@0⊂&@0⊂@@0⊂&@@_αI@⊂α`@⊂&A0⊂&A0⊂&A0⊂&A0⊂%↓@p0%↓@p0%↓@p0"Q
aλ	Db0αA@dPβ↓ dPβ↓ d`↓  0↓∪ λ↓↓@$`↓  0↓∪ ⊂↓↓ $`↓@ (↓∪ _↓↓$`↓`  ↓∪  ↓`$`↓↓ _↓∪ (↓@$`↓↓  ⊂↓∪ 0↓ $`↓↓@ λ↓∪ 0↓ $Pβ↓ DPβ↓ DPβ↓@4("≠b⊃_	D`0X%Ci0x%↓↓⊂ %a0_%a0_%a0_%a0_%a0_%a0_%a0_%a0_%a0_%a0_%↓↓⊂ %↓↓⊂ %↓ p(%Ci0x&BhT 8∧"1_	@↓TPπRB∧`↓A`D`↓BD`↓B 4`↓B 4`↓B 4`↓BD`↓A`D`π∪↓T`¬S4`↓S4`↓R@tPβR@t("≤"⊃_D`0X%Ci0x%↓↓⊂ %a0_%a0_%a0_%a0_%a0_%a0_%a0_%a0_%a0_%a0_%`P_↓@i _α@`0_%↓P_A	0x%CiPX+J`_+@jp_"Q∞!_
Db0¬RATPπ∪00α∪08↓S08↓S08↓S00α∪↓D`¬S↓4`↓A D`↓A@4`↓A@4`↓A@4`↓A@4`↓A@0⊂↓R@p ∧∩@p(βR@p8α⊃(G_λDb1_α↓@@⊂&α@ ⊂%Ci  β↓I _∧A	 _¬i  %↓I0H&αipP*↓Jp ,i _¬@i  ¬i 0βA	!%@ X%@@8"Q∞A_
∧b0	RB4P	R@0(↓A 4P↓A 0(↓R@0(↓A 5⊂↓T@5⊂↓T@5⊂↓T@5⊂↓T@5⊂↓T@5⊂↓Sa∀x∧Sa∀("≥"1 	D`8αAi 8αAi 8αAi@_∧@i@_∧@i@_∧@i@_∧@i@_∧@i@_∧@i@_∧@i@_∧@i@_∧@i@_∧@i@_∧@i@_∧@iP_β@iP αA	`X'B*⊂("Q∞a_
∧b0β↓`dPβ↓`dPβ↓`d`↓B 4`↓B 4h↓A`4h↓A`4h↓A`4p↓A 4p↓A 4pα`Dx↓@`4x↓@`4xα E↓@ 5↓@ 5βT UλαT T("≥bQ(	D`(¬A) (¬A) (¬A)@⊂ε@IPλε@)P⊂¬@IP⊂¬@IP⊂¬@IP⊂↓@@⊂⊂↓@IP⊂↓@@⊂⊂↓@IP⊂↓@@⊂⊂↓@I`⊂↓@⊂⊂↓I`⊂@@0⊂@I`⊂@@0⊂@I`⊂@@0⊂@I`⊂@ Pλ@I` αA	p_α@ip_α@ip⊂β@HT <∧bA_	@ p_βR`p_βR`p_βS@0 ↓S@@⊂α∪`@λ↓Tuβ∀ E⊂↓T Uβ∀0λ↓S`0⊂↓S`0_↓S@0 α∪@0(↓R@p(βR@p(βR@p(βQ(GH	Eα1_↓`P8%↓`P8%↓`P8&@`p_&AP '`P_'@`0_'A⊂ (`⊂_(↓j⊂()j _)j _)j _(↓j8(↓hT =∧"1_	@α∀PλRB∀P↓B DP↓BDP↓A`E_αT`E⊂α∀ Eα∪`Dpα∪ P0↓S @8↓S@@↓R`@H↓RB∀PλRB∀("εB1 	D`@x'βi`x'@ ⊂β@I`⊂↓@p⊂'@ ⊂β@I`⊂↓IP_↓IP⊂↓BIP⊂↓BIP⊂↓BIP⊂↓@I@@&α	@@β@I@⊂α@p⊂&@@⊂β@I  ↓C	  ↓C	  ↓CλT 
DbA_	@B∀X	∩b$P↓A@0(↓∩@ @↓↓ $P↓α (↓∩@ @↓∩@ @↓∩@ @∧∩@ @∧∩@ @∧∩@ @↓∩@ @↓∩@ @↓∩@ @↓↓ $P↓α (↓∩@00↓A $X	∩b$`λQ(A`λDc⊃0¬@jP_*@iPX%Ci0x%↓P@%``_↓i ⊂β↓0⊂%@` ↓@I ⊂β`@⊂%@P αI ⊂α@`P⊂%@P_α@I ⊂α↓P⊂%@@_βI ⊂↓A`⊂%@0 βI _↓``_%αP %Ci0x&BiP_&@iP_"QαhλDb0εRATPεS`4x↓S`4x↓S`4x↓S`4x↓S`4x↓S`4x↓S`4x↓RATPεRAT("∧!q⊂	D``H(α*H*j@_*j@_*j@_*j@_*j@_*j@_%@@p_%↓P %β) `&αλT Ie⊃_	A` ↓α@` ↓∪↓ ⊂↓α↓ ⊂↓∩ap8πR@@0β↓@@0β∩@0Hα↓@0Hα∩@0P↓A@0P↓R@A⊂α∩@aβ∩a⊂h∧S↓0X¬Sa `¬∃aβ∃`A⊂α⊗1_↓R@0X↓A 0X↓R@@P↓A @P↓R@`8α↓ `8α∩B0λ∩@ ⊂¬A` ⊂¬R@  βB   βQ=q3≠mg 3_-VH6≡$∧_&Pj4_wH6x2~-f89Xmε(6Y$¬ 2V∧π <\W89~.F(9λ∞F(<≥≥p`3≠mg 3_,6(1≡.F(y@≥ >∩G@
≡X oX` ∪+@ ∪+@
?␈x␈⎇`π≡`↓ε01HZ⎇@⊃0αf⊂↓∨0{B`∧→L αJ←0↓E@@3_@¬/↑` ↓ε01X⊃⎇@Q0αf⊂↓5@{↓B`∧→L αw←0βE@@3_@ε↓↑`@↓ε01`)⎇A⊃0αf⊂↓L{αB`∧→L β'∨0¬E@@3_@E≡``↓ε01↓@i⎇AQ0αf⊂β20{βB`∧→L ∧wO0πE@@3_@λy}a↓
PR@α ≡⎇B⊃0α∃*(∧F`{∧B`∧→L ¬⎇o0	E@@3_@␈}a ↓ε01↓@λ=BQ0αf⊂βα({¬B`∧→L επo0E@@3_@∩}a@↓ε01↓@/=C∩`∧*TP∧Ix{εB`∧*TPλd∂0
E@@U) ⊃]}a`↓
PR@α_g=CQ0αf⊂α"{πB`∧→L ∧P␈0∂E@@3_@	>≡b↓ε01↓X!⎇D⊃0αf⊂α8X{λB`∧→L ε↑?0⊃E@@3_@	{>b ↓ε01↓]=DQ0αf⊂αD`{	B`∧→L ∧&␈0∪E@@3_@
5}b@↓ε01↓ |=E⊃0αf⊂αTλ{
B`∧→L ¬1/0∃E@@3_@
s>b`↓ε01↓({=EQ0αf⊂β0{B`∧→L ¬B?0↔E@@3_@	≡c↓ε01hS=F⊃0αf⊂↓`({B`∧→L βH∂0→E@@3_@π!}c ↓ε01pi=FQ0αf⊂↓rH{
B`∧→L βmO0≠E@@3_@πq}c@↓ε01↓β=G⊃0αf⊂α¬x{∞B`∧→L ¬M?0≥E@@3_@"≡c`↓ε01↓H*⎇GQ0αf⊂αkλ{∂B`∧→L ε0o0∨E@@3_@λk↑d↓ε01↓0c=H⊃0αf⊂α_{⊂B`∧→L ⊂/0!E@@3_@7>d ↓ε01λ∃=HQ0αf⊂_H{⊃B`∧→L ;O0#E@@3_@↓	>d@↓ε01⊂==I⊃0αf⊂-x{∩B`∧→L c∂0%E@@3_@↓U}d`↓ε01_d=IQ0αf⊂@X{∪B`∧→L ↓∃O0'E@@3_@αO>e↓ε01(N=J⊃0αf⊂↑8{∀B`∧→L ↓K∂0)E@@3_@β.>e ↓ε018π=JQ0αf⊂u8{∃B`∧→L ↓wO0+E@@3_@∧λ>e@↓ε01@←=K⊃0αf⊂↓⊃H{⊗B`∧→L α-/0-E@@3_@O}e`↓ε01↓Hk⎇KQ0αf⊂αx0{↔B`∧→L ε∂∨0/E@@3_@m}f↓ε01↓8f⎇L⊃0α∃*(β80{_B`∧*TPεy␈01E@@U) ∞¬≡f ↓
PR@↓`+⎇LQ0α∃*(βJ⊂{→B`∧*TPπ≤←03E@@U) ∞H↑f@↓
PR@↓h5⎇M⊃0α∃*(β[`{~B`∧*TPπ=?05E@@U) ∂π↑f`↓
PR@↓p:⎇MQ0α∃*(βjP{≠B`∧*TPπd∨07E@@U) ∂e≡g↓
PR@↓xo⎇N⊃0α∃*(∧↓`{≤B`∧*TPλ∞←09E@@U) ⊂0↑g ↓
PR@αλα⎇NQ0α∃*(∧∀{≥B`∧*TPλ2∨0;E@@U) ⊂x≡g@↓
PR@α⊂+⎇O⊃0α∃*(∧*⊂{≡B`∧*TPλ\?0=E@@3_@
→>g`↓ε01↓P∂=OQ0αf⊂β*`{∨B`∧→L ε⊃o0?E@@3_@+␈⊂	,X_ow{⎇x